(Shell Options): Minor cleanup.
authorRichard M. Stallman <rms@gnu.org>
Tue, 2 Jan 2007 21:01:08 +0000 (21:01 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 2 Jan 2007 21:01:08 +0000 (21:01 +0000)
commitffb6ae26d6f0a7804948a772bad46326198603a0
tree4a5a1b4681c9385c9c4d054502c31a7e39c97550
parent9d148d854465e2b1be215c3c28099e967d82f1ab
(Shell Options): Minor cleanup.
man/misc.texi